1. A Mathematical Structure for Emergent Computation
پدیدآورنده: by Victor Korotkich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Algorithms.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
2. Adaptive Resonance Theory Microchips
پدیدآورنده: by Teresa Serrano-Gotarredona, Bernabé Linares-Barranco, Andreas G. Andreou.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Engineering.,Logic, Symbolic and mathematical.
3. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
پدیدآورنده: Delaram Kahrobaei, Bren Cavallo, David Garber, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
رده :
QA
9
.
A1A42
4. Algorithmic and Symbolic Combinatorics
پدیدآورنده: / Stephen Melczer, Melczer, Stephen
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical,Discrete mathematics, Algorithms,a05
رده :
QA9
5. Algorithmic aspects of algebra and logic : collected papers dedicated to Academician Sergei Ivanovich Adian on the Occasion of his 80th birthday
پدیدآورنده: ]volume editor, L.D. Beklemishev; translated and published by Maik Nauka/Interperiodica
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Algorithms
رده :
QA
1
.
P736
Vol
.
274
6. Algorithmic logic
پدیدآورنده: Mirkowska-Salwicka, Grazyna
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Formal languages►Algorithms►Logic, Symbolic and mathematical
رده :
267
.
3
.
M57
7. Algorithmic logic /
پدیدآورنده: G. Mirkowska and A. Salwicki
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms,Formal languages,Logic, Symbolic and mathematical
رده :
QA267
.
3
.
M57
1987
8. Artificial intelligence for big data :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Big data.,Business logistics-- Data processing.,Big data.,Business logistics-- Data processing.,COMPUTERS-- Databases-- Data Warehousing.
رده :
QA76
.
9
.
B45
.
D474
2018eb
9. Combinatorial algorithms :
پدیدآورنده: Costas S. Iliopoulos, William F. Smyth (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis-- Data processing, Congresses,Computational complexity, Congresses,Computer algorithms, Congresses
رده :
QA164
.
I58
2011
10. Combinatorics, computability and logic :
پدیدآورنده: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
11. Combinatorics, computability and logic :
پدیدآورنده: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA164
.
C733
2001
12. Computer Mathematics
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
13. Computer-aided design and manufacturing :
پدیدآورنده: T Kohonen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
TS155
.
6
T564
2012
14. Current trends on knowledge-based systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع: Expert systems (Computer science) ,Artificial intelligence,Computer science,Internet of things,Algorithms,Logic, Symbolic and mathematical,Data mining
رده :
QA76
.
76
.
E95
C8
2017
15. Decision procedures
پدیدآورنده: / Daniel Kroening, Ofer Strichman
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Decision making--Mathematical models,Algorithms.,Logic, Symbolic and mathematical.
رده :
QA
,
279
.
4
,.
K76
,
2008
16. Decision procedures : an algorithmic point of view
پدیدآورنده: Daniel Kroening, Ofer Strichman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematical models ، Decision making,، Algorithms,، Logic, Symbolic and mathematical
رده :
QA
279
.
4
.
K76D4
2016
17. Discrete mathematics
پدیدآورنده: by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع: Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
,
162
,.
D57
,
2007
18. Discrete mathematics and its applications
پدیدآورنده: / Kenneth H. Rosen
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
رده :
QA
39
.
3
.
R67
2007
19. Discrete mathematics and its applications
پدیدآورنده: / Kenneth H. Rosen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematics,Computer science, Mathematics,Logic, Symbolic and mathematical
رده :
QA39
.
3
.
R67
2007
20. Discrete mathematics and its applications
پدیدآورنده: / Kenneth H. Rosen
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع: Mathematics,Computer science- Mathematics,Logic, Symbolic and mathematical
رده :
QA39
.
3
.
R67
2007
